window.onload=function(){

    let example = document.getElementById("example");
    (example as HTMLElement).style.backgroundColor = "red"
    console.log(typeof example)
    if(example instanceof HTMLElement){
        example.style.backgroundColor = "pink"
    }
}